We approach the formalism of quantum mechanics from the logician point of view and treat the canonical commutation relations and the conventional calculus based on it as an algebraic syntax of quantum mechanics. We then aim to establish a geometric … Continue reading Colloquium: Tuesday, November 29, 2 pm. Speaker: Boris Zilber (Oxford). Title: “A geometric semantics of algebraic quantum mechanics”.